Nuprl Lemma : atom-test1
11,40
postcript
pdf
'xxx'1 =a1 'yyy'1 = ff
latex
Definitions
eq_atom$n(
x
;
y
)
,
t
T
Lemmas
bfalse
wf
origin
T